@string{acmpub = "ACM Press"}
@string{lncs = "LNCS"}
@string{sv = "Springer"}

@inproceedings{kaminski12sle,
 author    = "Kaminski, Ted and Van Wyk, Eric",
 title     = "Modular well-definedness analysis for attribute grammars",
 booktitle = "Proceedings of 5th the International Conference on Software
              Language Engineering ({SLE} 2012)",
 series    = lncs,
 publisher = sv,
 year      = 2012,
 month     = "September",
 volume    = "7745",
 pages     = "352--371"
}

@inproceedings{krishnan12sle,
 author    = "Krishnan, Lijesh and Van Wyk, Eric",
 title     = "Termination Analysis for Higher-Order Attribute Grammars",
 booktitle = "Proceedings of 5th the International Conference on Software
              Language Engineering ({SLE} 2012)",
 series    = lncs,
 publisher = sv,
 year      = 2012,
 month     = "September",
 volume    = "7745",
 pages     = "44--63"
}

@inproceedings{vanwyk02,
  author    = "Van Wyk, E. and de Moor, O. and Backhouse, K. and
               Kwiatkowski, P.",
  title     = "Forwarding in Attribute Grammars for Modular Language Design",
  booktitle = "Proc. 11th Intl. Conf. on Compiler Construction",
  series    = lncs,
  volume    = 2304,
  year      = 2002,
  pages     = "128-142"
}
%  publisher = sv,

@article{vanwyk10scp,
 author    = "Van Wyk, Eric and Bodin, Derek and Gao, Jimin and 
              Krishnan, Lijesh",
 title     = "Silver: an Extensible Attribute Grammar System",
 journal   = "Science of Computer Programming",
 publisher = "Elsevier Science",
 year      = 2010,
 month     = "January",
 volume    = 75,
 number    = "1--2",
 pages     = "39--54",
}


@inproceedings{vanwyk07gpce,
 author    = "Van Wyk, Eric and Schwerdfeger, August",
 title     = "Context-Aware Scanning for Parsing Extensible Languages",
 booktitle = "Intl. Conf. on Generative Programming and Component 
              Engineering, (GPCE)",
 publisher = acmpub,
 month     = "October",
 pages     = "63--72",
 year      = 2007
}

@inproceedings{schwerdfeger09pldi,
 author    = "Schwerdfeger, August and Van Wyk, Eric",
 title     = "Verifiable Composition of Deterministic Grammars",
 booktitle = "Proc. of ACM SIGPLAN Conference on Programming 
              Language Design and Implementation (PLDI)",
 year      = 2009,
 month     = "June",
 pages     = "199--210",
 publisher = acmpub
}

@inproceedings{kaminski11sle,
 author    = "Kaminski, Ted and Van Wyk, Eric",
 title     = "Integrating attribute grammar and functional programming 
              language features",
 booktitle = "Proceedings of 4th the International Conference on Software
              Language Engineering ({SLE} 2011)",
 series    = lncs,
 volume    = "6940",
 pages     = "263--282",
 publisher = sv,
 year      = 2011,
 month     = "July"
}

@article{Knuth68,
  author    = "Knuth, D. E.",
  title     = "Semantics of Context-free Languages",
  journal   = "Mathematical Systems Theory",
  volume    = "2",
  number    = "2",
  pages     = "127--145",
  year      = "1968",
  note      = "Corrections in \textbf{5}(1971) pp.~95--96"}

@article{boyland05,
 author = {John Tang Boyland},
 title = {Remote attribute grammars},
 journal = {J. ACM},
 volume = {52},
 number = {4},
 year = {2005},
 issn = {0004-5411},
 pages = {627--687},
 doi = {http://doi.acm.org/10.1145/1082036.1082042},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }


@inproceedings{vogt89,
AUTHOR    = "Vogt, H. and Swierstra, S. D. and Kuiper, M. F.",
TITLE     = "Higher-order Attribute Grammars",
BOOKTITLE = "ACM Conf. on Prog. Lang. Design and Implementation (PLDI)",
PAGES     = "131--145",
YEAR      = "1990"
}

@inproceedings{Johnsson85,
 author = {Johnsson, Thomas},
 title = {Lambda lifting: transforming programs to recursive equations},
 booktitle = {Proc. of a conference on Functional programming languages and computer architecture},
 year = {1985},
 isbn = {3-387-15975-4},
 location = {Nancy, France},
 pages = {190--203},
 numpages = {14},
 url = {http://dl.acm.org/citation.cfm?id=5280.5292},
 acmid = {5292},
 publisher = {Springer-Verlag New York, Inc.},
 address = {New York, NY, USA},
} 

%NOTE      = "Published as {\sl ACM SIGPLAN Notices}, 24(7)"}
%BOOKTITLE = "Conference on Programming Languages Design and Implementation",

